Deening Relationships in Ecology Using Object-oriented Formal Speciications
نویسنده
چکیده
A formal object-oriented speciication using Object-Z is given of an animal's environment which builds on previous work using formal descriptions in this area. The object framework provides a closer match between natural categories and speciied classes, and the formal speciication acts as a tool to explicitly state all assumptions, consequences and behaviors involved for a set of objects at hand. The object-oriented speciication can then be used as a basis for building a corresponding software system using an object-oriented language.
منابع مشابه
A Theory - Based RepresentationforObject - Oriented Domain
Formal software speciication has long been touted as a way to increase the quality and reliability of software; however, it remains an intricate, manually intensive activity. An alternative to using formal speciications directly is to translate graphically-based, semi-formal speciications into formal speciications. However, before this translation can take place, a formal deenition of basic obj...
متن کاملStates as Speciications
We present a general approach for formally modelling states of object-oriented programs using OBJ 10] speciications and associated order-sorted theory presentations 9]. This formal model can then be used to deene the structural operational semantics 14] of object-oriented languages. Our approach has the advantage of using the power of the theory of abstract data types for deening operations on ...
متن کاملAlgebraic View Speciication ?
The application of algebraic speciication techniques in the early phases of software development requires a means for specifying views. In this paper we argue for algebraic view speciication based on an algebraic concept model. The concept model consists of two parts: a meta model deening the concepts of diierent views and the relationships between them, and a system model deening the system be...
متن کاملAn Approach to Animating Model-based Object-oriented Formal Speciications
| One of the important issues in the application of formal notations in software development is the validation of formal speciications against the informal customer requirements. Animation has been proposed as one of the techniques for achieving this goal. This paper describes an approach to animating object-oriented model-based formal speciications as well as a research prototype of an animati...
متن کاملDeening Composition Operators for Object Interaction Deening Composition Operators for Object Interaction
Note: Most SVRC technical reports are available via anonymous ftp, from ftp.cs.uq.edu.au in the directory /pub/SVRC/techreports. Abstract Operations in object-oriented systems are often a composition of other operations, deened across multiple objects. The aim of this paper is to formally develop a suite of composition operators for specifying object interaction through operation composition. E...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994